-
1 аксиома
* * *аксио́ма ж.
axiom, postulate, principleаксио́ма не тре́бует доказа́тельства — an axiom needs no proofпринима́ть аксио́му без доказа́тельства — accept an axiom as primitive and therefore not subject to proofпринима́ть в ка́честве аксио́мы — take smth. as an axiom, take as an axiom that …аксио́ма Архиме́да — axiom of Archimedes, Archimedean axiom, Archimedean assumptionаксио́ма вы́бора — axiom of choiceаксио́ма математи́ческой инду́кции — axiom of complete [perfect] inductionаксио́ма мо́щности — axiom of powerаксио́ма о паралле́льных — parallel axiomаксио́ма отдели́мости — axiom of separabilityаксио́ма полноты́ — completeness axiom, axiom of completenessаксио́ма сохране́ния — retention axiomаксио́ма счё́тности — denumberability axiomаксио́ма треуго́льника — triangle axiom -
2 система аксиом
-
3 аксиома
Русско-английский словарь по информационным технологиям > аксиома
-
4 доказательство
[lang name="Russian"]основательные, серьёзные доказательства — foundational proof
-
5 доказательство
основательные, серьёзные доказательства — foundational proof
Русско-английский военно-политический словарь > доказательство
-
6 аксиома
ж. axiom, postulate, principle -
7 аксиома
от греч. axiōma(Отправное, исходное положение какой-либо теории, лежащее в основе доказательств других положений этой теории, в пределах которой оно принимается без доказательств.)принимать аксиому без доказательств — accept the axiom as primitive and therefore not subject to proof
- аксиома болвана - аксиома выбора - слабая аксиома выявленного предпочтения - СА - аксиома независимости - аксиома непрерывности - аксиома непротиворечивости - основная аксиома - аксиома полезности - слабая аксиомапринимать что-л. в качестве аксиомы — take smth as an axiom
-
8 аксиома не требует доказательства
1) Mathematics: an/the axiom needs no proof2) Makarov: an axiom needs no proofУниверсальный русско-английский словарь > аксиома не требует доказательства
-
9 аксиома
1) axiom
2) postulate
– аксиома выбора
– аксиома замены
– аксиома мощности
– аксиома о параллельных
– аксиома отделимости
– аксиома полноты
– аксиома сводимости
– аксиома сохранения
– аксиома счетности
– аксиома треугольника
аксиома математической индукции — axiom of complete induction
аксиома не требует доказательства — axiom needs no proof
-
10 неопровержимое доказательство
1. conclusive evidenceотрицающее, опровергающее доказательство — negative evidence
окончательное, решающее доказательство — conclusive evidence
никаких улик, ни тени доказательства — not a rag of evidence
2. infallible proofосновательные, серьёзные доказательства — foundational proof
Русско-английский большой базовый словарь > неопровержимое доказательство
-
11 косвенное доказательство
[lang name="Russian"]основательные, серьёзные доказательства — foundational proof
Русско-английский научный словарь > косвенное доказательство
-
12 формальное доказательство
основательные, серьёзные доказательства — foundational proof
Русско-английский словарь по информационным технологиям > формальное доказательство
-
13 представлять доказательство
основательные, серьёзные доказательства — foundational proof
Бизнес, юриспруденция. Русско-английский словарь > представлять доказательство
-
14 служивший доказательством
основательные, серьёзные доказательства — foundational proof
Русско-английский военно-политический словарь > служивший доказательством
-
15 требовать
vti; св - потре́бовать1) просить в категорической форме to demand; предъявляя права to claim (on, for)тре́бовать извине́ний — to demand an apology
тре́бовать вы́платы страхо́вки/вы́платить страхо́вку — to claim (on) an insurance
тре́бовать возвра́та до́лга/за́йма — to call in a debt/a loan
оппози́ция тре́бует уво́лить мини́стра в отста́вку — the opposition demands the minister's resignation, the opposition demands that the minister (should) be forced to resign
он тре́бует от ребёнка сли́шком мно́гого — he expects too much from the child
2) нуждаться в чём-л to require, to call for, to need, to wantаксио́ма не тре́бует доказа́тельств — an axiom needs no proof
кварти́ра тре́бует ремо́нта — the flat is in need of repairs, the flat wants repairing
така́я рабо́та тре́бует большо́го терпе́ния — such work calls for/requires a lot of patience
тако́е иссле́дование тре́бует мно́го вре́мени — such research takes (up) a lot of time, such research is very time-consuming
3) вызывать кого-л to send for, to summon lit
См. также в других словарях:
Proof — • The establishment of a disputed or controverted matter by lawful means or arguments. Catholic Encyclopedia. Kevin Knight. 2006. Proof Proof … Catholic encyclopedia
axiom — [ak′sē əm] n. [Fr axiome < L axioma < Gr axiōma, authority, authoritative sentence < axioun, to think worthy < axios, worthy < base of agein, to weigh, orig., to lend: see ACT1] 1. a statement universally accepted as true; maxim 2 … English World dictionary
Axiom computer algebra system — Infobox Software name = Axiom developer = Independent group of people operating system = Cross Platform genre = Computer Algebra System license = modified BSD License website = [http://axiom.axiom developer.org Axiom Home Page] Axiom is a free… … Wikipedia
Axiom (computer algebra system) — Scratchpad redirects here. For scratchpad memory, see Scratchpad RAM. Axiom Developer(s) independent group of people Stable release September 2011 Operating system cross platform … Wikipedia
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
nature, philosophy of — Introduction the discipline that investigates substantive issues regarding the actual features of nature as a reality. The discussion here is divided into two parts: the philosophy of physics and the philosophy of biology. In this… … Universalium
Law — • By law in the widest sense is understood that exact guide, rule, or authoritative standard by which a being is moved to action or held back from it Catholic Encyclopedia. Kevin Knight. 2006. Law Law … Catholic encyclopedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia